
function log(...args) {
    document.body.innerText += '\n'+args.join(' ');
    console.log.apply(null, args);
}